1. Conference in Mathematical Logic, London '70
پدیدآورنده : Edited by Wilfrid Hodges
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
C6
1970
2. Conference in Mathematical Logic, London '70
پدیدآورنده : Edited by Wilfrid Hodges
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
255
3. Conference in Mathematical Logic, London 70
پدیدآورنده : Conference in Mathematical Logic, Bedford College
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
255
4. Conference in Mathematical Logic, London '70
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
255
5. Conference in Mathematical Logic London' 70
پدیدآورنده : edited by Wilfrid Hodges
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
255
6. Logic, language, information and computation : 15th international workshop, WOLLIC 2008 Edinburgh, UK, July 1-4, 2008 proceedings
پدیدآورنده : / [edited by] Wilfrid Hodges, Ruy de Queiroz.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق ریاضی,منطق ریاضی,زبان‌شناسی کامپیوتری,-- کنگره‌ها, -- کنگره‌ها
رده :
QA
۹
/
ک
۲ ۱۳۸۷
7. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
8. Music and mathematics :from Pythagoras to fractals
پدیدآورنده : edited by John Fauvel, Raymond Flood, and Robin Wilson
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : Mathematics ، Music theory,، Musical temperament
رده :
ML3800
.
M85
2003
9. The development of modern logic
پدیدآورنده : edited by Leila Haaparanta
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : History ، Logic
رده :
BC15
.
D48
2009
